Application of coloured Petri net to workflow modeling 价格着色Petri网在工作流建模中的应用
Minimum Cost Reachability Problem of Price Coloured Petri Net 价格着色Petri网的最小成本可达问题
Modeling and analysis of the RUDP protocol based on stochastic and coloured Petri net 基于随机着色Petri网的RUDP协议建模与分析
Finally, Utilizing Petri Net comprehensive technology amalgamate each coloured Petri Net module, and become a large-scale comprehensive Petri Net. 最后利用Petri网综合技术将各个替代子网模块合并成为一个大型的综合Petri网。
In this paper, an introduction of coloured Petri net is given, and a communication protocol stop-wait protocol is analysed using Design/ CPN, which is a simulation tool for coloured Petri net. 文章介绍了有色Petri网,并利用仿真工具Design/CPN对一个通信协议停-等协议进行分析。
Extended Coloured Petri Net Suitable for Modelling Mechanical Manufacturing Systems 用于建立机械制造系统模型的扩展着色Petri网
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net 有色Petri网的一种密码协议建模分析
Extended timed coloured Petri net theory is introduced into the research of production scheduling decision simulation for FMS in this paper. Rules repressing Petri. net model of FMS are provided. 本文将赋时扩展着色Petri网理论引入FMS生产调度决策仿真研究中,提出FMS的Petri网模型表示规则,并引入生产调度决策规则。
Vertification of OSPF Protocol Based on Coloured Petri Net 基于着色Petri网模型的OSPF协议验证
Modeling of Repair System of Communication Equipment Based on Coloured Petri Net Theory 基于着色Petri网理论的通信装备维修系统建模
First, the protocol was modeled by using coloured Petri net. 提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。
Modeling and Analysis of Elevator System Based on Timed-Coloured Petri Net 基于时间-有色Petri网的电梯系统的建模与分析
This thesis has synthesized the current situation of domestic and international study on FMS logistics at present, has proposed Expanded Coloured Petri Net ( ECPN) analytical method. 本文结合了目前国内外对FMS物流的研究现状,提出了基于对象的扩展有色Petri网(ECPN)分析模型。
A Workshop Scheduler Based on Rule Constraint Coloured Petri Net 一种基于规则约束着色Petri网的车间调度器
This paper studies the topology analysis of power networks from the point of view of DEDS and proposes a coloured Petri net for the elementary analysis unit and a coloured Petri net based topology analysis algorithm. 从离散事件动态系统角度考虑电力系统结线分析问题,提出了基本分析单元的有色Petri网模型以及基于该Petri网的结线分析算法。
Decision rules for production scheduling are introduced. Based on the extended timed coloured Petri net model of FMS and minimum event time advance principle, dynamic simulation running of production scheduling decision for FMS is realized. 基于FMS的赋时扩展着色Petri网模型,依据最小事件时间推进原理,实现FMS的生产调度决策动态仿真运行。
Security Simulation to Security Protocol Based on Coloured Petri Net 基于有色Petri网的安全协议安全性仿真
Coloured Petri Net Model with Changeable Structure and Its Application 一种变结构Petri网模型及其应用
The modeling method is focused which models equipment battlefield repair system based on hierarchy coloured Petri net. 讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。
Product Line Modeling of the Steel Hot Rolling Mill Based on the Hierarchical Coloured Petri Net 基于分层着色Petri网的热轧带钢厂产线建模
The topology analysis is decomposed into many units, each of which is modeled with a coloured Petri net, where a token represents a bus, and the token color represents the nodes connected to the bus. 把整个电网拓扑分析问题分解为若干个基本分析单元,提出了基本分析单元的有色Petri网模型,用令牌表示母线,用令牌的颜色表示连接在同一母线上的结点。
An approach of modeling and optimizing the medical treatment process was proposed using the Hierarchical Timed Coloured Petri net ( HTCP-net). 针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。
In this thesis models of the single and multi-junction intersection control systems are established with Coloured Petri net, and the simulation results of these models are analysed. 利用着色Petri网对单路口系统和多路口协调系统的车流和控制部分分别进行建模,然后对所建模型进行仿真,并对仿真结果进行比较分析。